\xdef\fmtversion{\fmtversion+CWEB3.1[p9c]

\def\Cpp{\CPLUSPLUS/ % for backward compatibility

\font\tenss=cmss10 \let\cmntfont\tenss % comment font

\def\C#1{\5\5\quad$\triangleright\,${\cmntfont#1$\,\triangleleft$ \def\SHC#1{\5\5\quad$\diamond\,${\cmntfont#1

\let\K=\leftarrow % "honest" alternative to standard assignment operator

\pageshift=-0.5truecm % shift righthand pages wrt lefthand ones

\def\normaloutput#1#2#3{\shipout\vbox{% Why not ‘\global\hoffset’? \ifodd\pageno\global\hoffset=\pageshift\else\global\hoffset=0in\fi \vbox to\fullpageheight{ \iftitle\global\titlefalse \else\hbox to\pagewidth{\vbox to10pt{\ifodd\pageno #3\else#2\fi\fi \vfill#1 % parameter #1 is the page itself \ifnum\pageno<0\global\advance\pageno by-1 \else\global\advance\pageno by1\fi

This document was generated on August 2, 2022 using texi2html 5.0.